﻿$(function () {
    prettyPrint();
})